Categorical Structures Enriched in a Quantaloid: Categories, Distributors and Functors
نویسنده
چکیده
We thoroughly treat several familiar and less familiar definitions and results concerning categories, functors and distributors enriched in a base quantaloidQ. In analogy with V-category theory we discuss such things as adjoint functors, (pointwise) left Kan extensions, weighted (co)limits, presheaves and free (co)completion, Cauchy completion and Morita equivalence. With an appendix on the universality of the quantaloid Dist(Q) of Q-enriched categories and distributors.
منابع مشابه
Exponentiable Functors Between Quantaloid-Enriched Categories
Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows: the elementary conditions on a given functor translate into existence statements for certain adjoints that obey some lax commutativity; this, in turn, is precisely what is needed to prove the existence of partial products with that functor; so that the functor’s expone...
متن کاملLimits and Colimits of Quantaloid-enriched Categories and Their Distributors
It is shown that, for a small quantaloid Q, the category of small Q-categories and Q-functors is total and cototal, and so is the category of Q-distributors and Q-Chu transforms.
متن کاملCategorical Structures Enriched in a Quantaloid: Tensored and Cotensored Categories
A quantaloid is a sup-lattice-enriched category; our subject is that of categories, functors and distributors enriched in a base quantaloid Q. We show how cocomplete Q-categories are precisely those which are tensored and conically cocomplete, or alternatively, those which are tensored, cotensored and ‘order-cocomplete’. In fact, tensors and cotensors in a Q-category determine, and are determin...
متن کاملCategories Enriched over a Quantaloid: Isbell Adjunctions and Kan Adjunctions
Each distributor between categories enriched over a small quantaloid Q gives rise to two adjunctions between the categories of contravariant and covariant presheaves, and hence to two monads. These two adjunctions are respectively generalizations of Isbell adjunctions and Kan extensions in category theory. It is proved that these two processes are functorial with infomorphisms playing as morphi...
متن کاملCategorical Structures Enriched in a Quantaloid: Orders and Ideals over a Base Quantaloid
Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call ‘Q-order’. This requires a theory of semicategories enriched in the quantaloid Q, that admit a suitable Cauchy completion. There is a quantaloid Idl(Q) of Q-orders and ideal relations, and a locally ordered category Ord(Q) of Q-orders and monotone maps; actually, Ord(Q) = Map(Idl(Q)...
متن کامل